Enhancing workflow-nets with data for trace completion

摘要

The growing adoption of IT-systems for modeling and executing (business)processes or services has thrust the scientific investigation towardstechniques and tools which support more complex forms of process analysis. Manyof them, such as conformance checking, process alignment, mining andenhancement, rely on complete observation of past (tracked and logged)executions. In many real cases, however, the lack of human or IT-support on allthe steps of process execution, as well as information hiding and abstractionof model and data, result in incomplete log information of both data andactivities. This paper tackles the issue of automatically repairing traces withmissing information by notably considering not only activities but also datamanipulated by them. Our technique recasts such a problem in a reachabilityproblem and provides an encoding in an action language which allows tovirtually use any state-of-the-art planning to return solutions.